supremum infimum